Rules of inference - PDFSEARCH.IO - Document Search Engine

Rules of inference
Results: 167

#	Item
41	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:11 Model theory Propositional calculus Rules of inference Resolution First-order logic Interpretation Deduction theorem Inference Unit propagation Logic Mathematical logic Automated theorem proving
42	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2006-07-05 14:23:02 Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics Mathematical logic Logic
43	Open Research Online The Open University’s repository of research publications and other research outputs Measuring the understandability of deduction rules for OWL Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2014-11-26 01:15:49 Logical consequence Reasoning Knowledge representation Knowledge engineering Semantic Web Inference Entailment Semantic reasoner Ontology Logic Science Knowledge
44	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
45	Transformation Rules for Z Mark Utting∗ Petra Malik† Ian Toyn Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:23 Oxford University Computing Laboratory Z notation First-order logic Regular expression Unification Rule of inference Logic Mathematical logic Formal languages
46	ARTIFIC~L r~rELUOE~CE 189 STRIPS: A New Approach to the Application of .Theorem Proving to Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-11-22 14:26:00 Automated theorem proving Metalogic Rules of inference Logical syntax First-order logic Logic programming Resolution STRIPS Algorithm Logic Mathematical logic Mathematics
47	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
48	From Small Space to Small Width in Resolution Yuval Filmus1 , Massimo Lauria2 , Mladen Mikša2 , Jakob Nordström2 , and Marc Vinyals2 1 2 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-01-09 15:51:16 Logic Logic in computer science Propositional calculus Rules of inference Logic programming Resolution Conjunctive normal form Unit propagation Proof complexity Theoretical computer science Automated theorem proving Mathematical logic
49	Sector Partnership (SP) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by 11:59 PM EDT on May 29, 2015 Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-07 12:03:18 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
50	Transformation Rules for Z Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:36:02 Automated theorem proving Logic programming Unification First-order logic Regular expression Z notation Cyc Rule of inference Logic Mathematical logic Formal languages